Minimal Change and Maximal Coherence: A Basis for Belief Revision and Reasoning about Actions
نویسندگان
چکیده
The study of belief revision and reasoning about actions have been two of the most active areas of research in AI . Both these areas involve reasoning about change. However very litt le work has been done in analyzing the principles common to both these areas. This paper presents a formal characterization of belief revision, based on the principles of minimal change and maximal coherence. This formal theory is then used to reason about actions. The resulting theory provides an elegant solution to the conceptual frame and ramification problems. It also facilitates reasoning in dynamic situations where the world changes during the execution of an action. The principles of minimal change and maximal coherence seem to unify belief revision and reasoning about actions and may form a fundamental core for reasoning about other dynamic processes that involve change.
منابع مشابه
Iterated Belief Change Due to Actions and Observations
In action domains where agents may have erroneous beliefs, reasoning about the effects of actions involves reasoning about belief change. In this paper, we use a transition system approach to reason about the evolution of an agent’s beliefs as actions are executed. Some actions cause an agent to perform belief revision while others cause an agent to perform belief update, but the interaction be...
متن کاملDescribing Plan Recognition as Nonmonotonic Reasoning and Belief Revision
We provide a characterization of plan recognition in terms of a general framework of belief revision and non-monotonic reasoning. We adopt a generalization of classical belief revision to describe a competence model of plan recognition which supports dynamic change to all aspects of a plan recognition knowledge base, including background knowledge, action descriptions and their relationship to ...
متن کاملBelief Change in Reasoning Agents
The capability of changing beliefs upon new information in a rational and efficient way is crucial for an intelligent agent. Belief change therefore is one of the central research fields in Artificial Intelligence (AI) for over two decades. In the AI literature, two different kinds of belief change operations have been intensively investigated: belief update, which deal with situations where th...
متن کاملHow Do I Revise My Agent’s Action Theory?
Logical theories in reasoning about actions may also evolve, and knowledge engineers need revision tools to incorporate new incoming laws about the dynamic environment. We here fill this gap by providing an algorithmic approach for action theory revision. We give a well defined semantics that ensures minimal change, and show correctness of our algorithms w.r.t. the semantic constructions.
متن کاملAction Theory Evolution
Like any other logical theory, domain descriptions in reasoning about actions may evolve, and thus need revision methods to adequately accommodate new information about the behavior of actions. The present work is about changing action domain descriptions in propositional dynamic logic. Its contribution is threefold: first we revisit the semantics of action theory contraction that has been done...
متن کامل